Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Teaching Information
Undergraduate Course
| Course Name | School Year | Semester | Required Class Hours | Credits | Course Number |
| 编译原理 | 2016-2017 | Spring Term | 48 | 3 | CS3010 |
| 编译原理 | 2014-2015 | Spring Term | 64 | 4 | CS3121914 |
Postgraduate Course
| Course Name | School Year | Semester | Required Class Hours | Credits | Course Number |
| 程序的形式语义与验证 | 2018-2019 | Autumn Term | 48 | 3 | X19CS1004 |
| 程序的形式语义与验证 | 2018-2019 | Autumn Term | 48 | 3 | X19CS0004 |
| 程序的形式语义与验证 | 2016-2017 | Spring Term | 48 | 3 | X19CS1004 |
| 程序的形式语义与验证 | 2016-2017 | Spring Term | 48 | 3 | X19CS0004 |
| 程序的形式语义与验证 | 2015-2016 | Spring Term | 48 | 3 | X19CS0004 |
| 程序的形式语义与验证 | 2015-2016 | Spring Term | 48 | 3 | X19CS1004 |